Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
851	CS 373: Combinatorial Algorithms, Spring 2001 Homework 1 (due Thursday, February 1, 2001 at 11:59:59 p.m.) Name: Net ID: Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 08:52:32 Algorithm Mathematical logic Theoretical computer science Randomized algorithm Factorial Dynamic programming XTR Fisher–Yates shuffle Mathematics Integer sequences Combinatorics
852	Workshop on Reactive and Event-based Languages and Systems (REBLSCo-located with SPLASH, October 21, 2014, Portland, Oregon, USA Solving Interactive Logic Puzzles With Object-Constraints An Experience Report Using Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:20 Software engineering Constraint satisfaction Cassowary Sudoku Backtracking Kaleidoscope Satisfiability Modulo Theories Sudoku algorithms Mathematics of Sudoku Constraint programming Theoretical computer science Mathematics
853	Doc No: Date: Author: N4379 Add to Reading List Source URL: www.open-std.org Language: English - Date: 2015-02-09 06:51:02 Logic in computer science Assertion Exception handling Precondition Objective-C C Postcondition Software engineering Computer programming Computing
854	AIJ 11th call for sponsorship applications Event INNS BIg Data Conference Interdisciplinary College IK 2015 IJCAI 2015 Workshop on Cognitive Knowledge Add to Reading List Source URL: aij.ijcai.org Language: English - Date: 2015-04-08 17:14:03 Computer science Logic programming International Joint Conference on Artificial Intelligence Actor model RuleML Symposium
855	Finding Most Likely Haplotypes in General Pedigrees through Parallel Branch and Bound Search Rina Dechter, University of California Irvine Joint work with Lars Otten Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2013-01-24 16:54:54 Logic programming Constraint programming Mathematics Computing Mathematical optimization Operations research Algorithm
856	Partial Evaluation for Hierarchies of Logic Theories M. Bugliesi ENIDATA S.p.A Viale Aldo Moro 38, 40121 Bologna Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:27:11 Logic programming Propositional calculus Function Substitution Mathematics Mathematical logic Logic
857	SampleSearch: Importance Sampling in presence of Determinism Rina Dechter Donald Bren School of Information and Computer Sciences, Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2010-05-29 22:20:14 Logic in computer science Logic programming Automated reasoning Mathematics Computer science Automated theorem proving Reasoning Applied mathematics
858	Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich, Germany Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-02-08 12:13:50 Recursion Theoretical computer science Computability theory Category theory Ordinal numbers F-coalgebra Fixed-point combinator Termination analysis Lambda calculus Mathematical logic Mathematics Computer programming
859	TAPASHigh Performance Static Analysis for Industry Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson and Ralf Huuck Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 17:52:54 Formal methods Software testing Program analysis Logic in computer science Procedural programming languages Static program analysis Vulnerability Model checking Abstract interpretation Computing Software engineering Computer programming
860	c , , 1–20 () Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Fourier Elimination for Compiling Constraint Hierarchies Add to Reading List Source URL: constraints.cs.washington.edu Language: English - Date: 2002-07-01 13:23:24 Computing Constraint satisfaction Constraint inference Local consistency Constraint logic programming Constraint programming Software engineering Computer programming

UPDATE